1.2.8.7. alpha.unix.cstring.NotNullTerminated (C)
Check for arguments which are not null-terminated strings; applies to: strlen, strnlen, strcpy, strncpy, strcat, strncat.

Examples:

void test() {
  int y = strlen((char *)&test); // warn
}